A Type Inference Algorithm for Secure Ambients
نویسندگان
چکیده
منابع مشابه
A Type Inference Algorithm for Secure Ambients
We consider a type discipline for the Ambient Calculus that associates ambients with security levels and constrains them to be traversed by or opened in ambients of higher security clearance only. We present a bottom-up algorithm that, given an untyped process P , computes a minimal set of constraints on security levels such that all actions during runs of P are performed without violating the ...
متن کاملType Inference for Mobile Ambients in Prolog
The type system for the ambient calculus M3 [8] is presented in a new form that derives the type of a term with the minimal set of mobility assumptions, and is therefore more amenable than the original form to a translation into a type inference algorithm. From the new formulation a Prolog program is derived, which implements a type inference algorithm for M3 analogous to the one previously spe...
متن کاملProlog implementation of type inference algorithms for mobile ambients
The type system for the ambient calculus M [2] is presented in a new form that derives the minimal type of a term in the minimal environment, and is therefore more amenable than the original form to a translation into a type inference algorithm. From the new formulation a Prolog program is derived, which implements the same type inference algorithm for M that was defined through formal rules in...
متن کاملType inference for local typing of mobile ambients
A type inference algorithm for the local type system for mobile ambients of [CDCGP04] is presented. It is obtained by applying a combination of techniques to the original typing rules, including a constraint handling and simplification procedure, which is mainly based on unification. The algorithm employs type schemes and therefore is, in a sense, more general than the original system. The infe...
متن کاملSecure Broadcast Ambients
Broadcast mechanism is prevalent in many forms of electronic networks. Modeling broadcast protocols succinctly and reasoning about how secure these protocols are is gaining importance as society increasingly comes to depend on a wide variety of electronic communications. In this work we present a modified ambient calculus where the nature of communication is broadcast within domains. We allow r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2002
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00321-4